tools-xentrace-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:14 +0000 (11:47 +0200)
committerIan Campbell <ijc@debian.org>
Tue, 9 Feb 2016 16:41:16 +0000 (16:41 +0000)
commit09edeb2156db5ca3c58e22b67a0e870815b6fa81
tree3adef626af711d0d81bfdd332176043a8f7697d3
parent254fc59b8741f6d2be8a2e817a835526590b9189
tools-xentrace-prefix.diff

Patch-Name: tools-xentrace-prefix.diff

Gbp-Pq: Name tools-xentrace-prefix.diff
tools/xentrace/Makefile